منابع مشابه
Approximate Program Synthesis
Existing programming models for approximate computing apply to only restricted classes of programs and approximations, or require special-purpose hardware. A programming model that lifts these restrictions while being accessible to programmers is a central unsolved challenge in the field. This paper proposes the use of program synthesis to automate approximate programming. Program synthesis aut...
متن کاملApproximate Substring Matching over Uncertain Strings
Text data is prevalent in life. Some of this data is uncertain and is best modeled by probability distributions. Examples include biological sequence data and automatic ECG annotations, among others. Approximate substring matching over uncertain texts is largely an unexplored problem in data management. In this paper, we study this intriguing question. We propose a semantics called (k, τ)-match...
متن کاملThe Smoothed Approximate Linear Program
We present a novel linear program for the approximation of the dynamic programming costto-go function in high-dimensional stochastic control problems. LP approaches to approximate DP have typically relied on a natural ‘projection’ of a well studied linear program for exact dynamic programming. Such programs restrict attention to approximations that are lower bounds to the optimal cost-to-go fun...
متن کاملA Smoothed Approximate Linear Program
We present a novel linear program for the approximation of the dynamic programming cost-to-go function in high-dimensional stochastic control problems. LP approaches to approximate DP naturally restrict attention to approximations that are lower bounds to the optimal cost-to-go function. Our program – the ‘smoothed approximate linear program’ – relaxes this restriction in an appropriate fashion...
متن کاملApproximate Stabilisation of Uncertain Hybrid Systems with Controllable Transitions
−Stabilization of uncertain hybrid systems with controllable transitions is considered. Uncertainty enters in the form of a disturbance input that can affect both the continuous and the discrete dynamics. A method for designing piecewise constant feedback controllers is developed. The controllers achieve approximate exponential convergence of the runs of the closed loop system to the zero level...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2958621